A Lesson on Structural Testing with PathCrawler-online.com
نویسندگان
چکیده
PathCrawler is a test generation tool developed at CEA LIST for structural testing of C programs. The new version of PathCrawler is developed in an entirely novel form: that of a test-case generation web service which is freely accessible at PathCrawler-online.com. This service allows many test-case generation sessions to be run in parallel in a completely robust and secure way. This tool demo and teaching experience paper presents PathCrawler-online.com in the form of a lesson on structural software testing, showing its benefits, limitations and illustrating the usage of the tool on simple examples.
منابع مشابه
Combining Static Analysis and Test Generation for C Program Debugging
This paper presents our ongoing work on a tool prototype called SANTE (Static ANalysis andTEsting), implementing a combination of static analysis and structural program testing for detection of run-time errors in C programs. First, a static analysis tool (Frama-C) is called to generate alarms when it cannot ensure the absence of run-time errors. Second, these alarms guide a structural test gene...
متن کاملPathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis
We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number of loop iterations in the covered paths. The prototype treats C code and we illustrate the test-case generation process on a representative example of a C function containing data-structures of variable dimensions, loops with v...
متن کاملThe Important Role of Lesson Plan on Educational Achievement of Iranian EFL Teachers' Attitudes
Lesson plan is a written description of education process in which it is shown what, when, where and with which method learners should learn and how they should be assessed. Lesson plan is one of the key factors in the educational process. According to the literature available, unfortunately few studies have been conducted on this issue in the context of Iran. Therefo...
متن کاملThe Important Role of Lesson Plan on Educational Achievement of Iranian EFL Teachers' Attitudes
Lesson plan is a written description of education process in which it is shown what, when, where and with which method learners should learn and how they should be assessed. Lesson plan is one of the key factors in the educational process. According to the literature available, unfortunately few studies have been conducted on this issue in the context of Iran. Therefo...
متن کاملThe effects of lesson screen background color on declarative and structural knowledge Abstract This experimental investigation replicates previous investigations of the effects of left margin screen background color hue to signal lesson sections on declarative knowledge
This experimental investigation replicates previous investigations of the effects of left margin screen background color hue to signal lesson sections on declarative knowledge and extends those investigations by adding a measure of structural knowledge. Participants (N = 80) were randomly assigned to receive one of four computer-based lesson treatments that consisted of color or no color lesson...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012